Stable model semantics - PDFSEARCH.IO - Document Search Engine

Stable model semantics
Results: 102

#	Item
81	Communicating ASP and the Polynomial Hierarchy Kim Bauters1, , Steven Schockaert1, , Dirk Vermeir2 , and Martine De Cock1 1 Department of Applied Mathematics and Computer Science Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-07-25 12:41:03 Logic programming Complexity classes Structural complexity theory Boolean algebra Stable model semantics True quantified Boolean formula Answer set programming FO Polynomial hierarchy Theoretical computer science Computational complexity theory Applied mathematics
82	Fuzzy Answer Set Programming: An Introduction Marjon Blondeel, Steven Schockaert, Dirk Vermeir, and Martine De Cock Abstract In this chapter, we present a tutorial about fuzzy answer set programming (FASP); we give a gen Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-02-14 06:07:18 Possibility theory Łukasiewicz logic T-norm Stable model semantics Interpretation Answer set programming T-norm fuzzy logics Fuzzy subalgebra Logic Mathematical logic Fuzzy logic
83	A core language for fuzzy answer set programming Jeroen Janssena,1,∗, Steven Schockaertb,2,∗∗, Dirk Vermeira,∗∗, Martine De Cockb,∗∗ a Department of Computer Science, Vrije Universiteit Brussel Pleinlaan 2, Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-01-17 05:38:49 Logic programming Logic in computer science Fuzzy logic Functions and mappings Stable model semantics Answer set programming Negation Combinatory logic Closure operator Mathematical logic Mathematics Logic
84	Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions Kim Bautersa,, Steven Schockaertb , Martine De Cocka , Dirk Vermeirc a Department of Applied Mathematics and Compu Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-02-28 16:22:11 Semantics Philosophical logic Stable model semantics Model theory Answer set programming Modal logic Term algebra Negation Interpretation Logic programming Logic Mathematical logic
85	Fuzzy autoepistemic logic and its relation to fuzzy answer set programming Marjon Blondeela,1 , Steven Schockaertb , Martine De Cockc , Dirk Vermeira a Vrije Universiteit Brussel, Department of Computer Science, Pleinla Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-02-28 16:30:28 Non-classical logic Modal logic Artificial intelligence Autoepistemic logic Stable model semantics Negation as failure Default logic Non-monotonic logic Fuzzy logic Logic Mathematical logic Logic programming
86	A finite-valued solver for disjunctive fuzzy answer set programs Mushthofa Mushthofa 1 and Steven Schockaert 2 and Martine De Cock1 3 Abstract. Fuzzy Answer Set Programming (FASP) is a declarative programming paradigm wh Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-06-24 13:12:00 Logic in computer science Logic programming Boolean algebra Artificial intelligence Non-classical logic Answer set programming Stable model semantics Fuzzy logic Propositional calculus Theoretical computer science Mathematical logic Logic
87	For the ACS course Advanced Topics in Concurrency Event Structures, Stable Families and Concurrent Games Glynn Winskel [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-02-05 13:06:24 Computer science Applied mathematics Concurrency Denotational semantics Actor model Petri net Game semantics Domain theory Semantics Theoretical computer science Models of computation Logic in computer science
88	i i “p02c00˙bmc” — [removed] — 10:13 — page 457 — #3 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:48 Logic Logic in computer science Linear temporal logic Model checkers Model checking Computation tree logic Stable model semantics Modal logic SPIN model checker Temporal logic Theoretical computer science Mathematical logic
89	Artificial Intelligence Artificial Intelligence[removed]101 An abstract, argumentation-theoretic to default reasoning Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-02-24 04:12:43 Non-classical logic Logical consequence Philosophical logic Non-monotonic logic Default logic Autoepistemic logic Negation as failure Stable model semantics Entailment Logic Mathematical logic Logic programming
90	235 Abduction Compared with Negation by Failure Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-05-01 12:54:56 Reasoning Non-classical logic Deduction Knowledge representation Abductive reasoning Stable model semantics Non-monotonic logic Default logic Negation Logic Science Logic programming

UPDATE